kw.\*:("Cálculo simbólico")
Results 1 to 25 of 1229
Selection :
Partial Evaluation and Program Manipulation (PEPM) 2009LAWALL, Julia; PUEBLA, Germán; VIDAL, Germán et al.Higher-order and symbolic computation (Print). 2011, Vol 24, Num 1-2, issn 1388-3690, 190 p.Serial Issue
[Krivine machine. Part I]Higher-order and symbolic computation. 2007, Vol 20, Num 3, issn 1388-3690, 140 p.Serial Issue
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 2006, Vol 19, Num 2-3, issn 1388-3690, 172 p.Conference Proceedings
Partial Evaluation and Semantics-Based Program ManipulationCHIN, Wei-Ngan; DANVY, Olivier; THIEMANN, Peter et al.Higher-order and symbolic computation. 2004, Vol 17, Num 1-2, issn 1388-3690, 163 p.Serial Issue
PEPM 2010GALLAGHER, John; VOIGTLÄNDER, Janis.Higher-order and symbolic computation (Print). 2010, Vol 23, Num 3, issn 1388-3690, 136 p.Serial Issue
Workshop 19 : Symbolic computationHERMENEGILDO, M.Lecture notes in computer science. 1997, pp 1167-1168, issn 0302-9743, isbn 3-540-63440-1Conference Paper
Program transformations for light-weight CPU accounting and control in the Java virtual machine A systematic reviewHULAAS, Jarle; BINDER, Walter.Higher-order and symbolic computation. 2008, Vol 21, Num 1-2, pp 119-146, issn 1388-3690, 28 p.Article
On the correctness of the Krivine machineWAND, Mitchell.Higher-order and symbolic computation. 2007, Vol 20, Num 3, pp 231-235, issn 1388-3690, 5 p.Article
Modular algorithms in symbolic summation and symbolic integrationGerhard, Jürgen.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-24061-6, XVI, 224 p, isbn 3-540-24061-6Book
AISC 2002 : artificial intelligence, automated reasoning, and symbolic computation (Marseille, 1-5 July 2002)Calmet, Jacques; Benhamou, Belaid; Caprotti, Olga et al.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43865-3, XI, 341 p, isbn 3-540-43865-3Conference Proceedings
Symbolic derivation without using expression treesKRTOLICA, Predrag V; STANIMIROVIC, Predrag S.Yugoslav journal of operations research. 2001, Vol 11, Num 1, pp 61-75, issn 0354-0243Article
Solving symbolic and numerical problems in the theory of shells with MathematicaWALENTYNSKI, Ryszard A.Lecture notes in computer science. 2003, pp 309-346, issn 0302-9743, isbn 3-540-40554-2, 38 p.Conference Paper
AISC 2000 : artificial intelligence and symbolic computation (madird, 17-19 July 2000, revised papers)Campbell, John A; Roanes-Lozano, Eugenio.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42071-1, X, 252 p, isbn 3-540-42071-1Conference Proceedings
A propos de l'apprentissage des limites de fonctions dans un «environnement calculatrice», ETUDE DES RAPPORTS ENTRE PROCESSUS DE CONCEPTUALISATION ET PROCESSUS D'INSTRUMENTATION = A bout the learning of the limits of functions in a «calculator environment», STUDY OF RELATIONS BETWEEN THE PROCESSES OF CONCEPTUALIZATION AND INSTRUMENTATIONTrouche, Luc; Guin, D.1996, 2 vol.,420 p., 194 pThesis
On typing delimited continuations: three new solutions to the printf problemASAI, Kenichi.Higher-order and symbolic computation (Print). 2009, Vol 22, Num 3, pp 275-291, issn 1388-3690, 17 p.Article
State-transition machines, revisitedSCHMIDT, David A.Higher-order and symbolic computation. 2007, Vol 20, Num 3, pp 333-335, issn 1388-3690, 3 p.Article
Artificial intelligence and symbolic computation (8th international conference, AISC 2006, Beijing, China, September 20-22, 2006)Calmet, Jacques; Ida, Tetsuo; Wang, Dongming et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-39728-0, 1Vol, XIII-268 p, isbn 3-540-39728-0Conference Proceedings
A new definition for passivity and its relation to coherenceMINZLALF, Moritz; CALMET, Jacques.Lecture notes in computer science. 2006, pp 94-105, issn 0302-9743, isbn 3-540-39728-0, 1Vol, 12 p.Conference Paper
AISC 2004 : artificial intelligence and symbolic computation (Linz, 22-24 September 2004)Buchberger, Bruno; Campbell, John A.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-23212-5, X, 284 p, isbn 3-540-23212-5Conference Proceedings
Calcul formel avec Maple = Symbolic computation with MapleJEANNEAU, Xavier.Techniques de l'ingénieur. Informatique. 2002, Vol HB3, Num H3028, pp H3028.1-H3018.22, issn 0245-9612Article
The memory gameZWICK, U; PATERSON, M. S.Theoretical computer science. 1993, Vol 110, Num 1, pp 169-196, issn 0304-3975Article
Automatische Herleitung von Näherungsformeln für Schalenschwingungen = Automatic deduction of approximation formulation for shell vibrationsSCHWARTE, J.Zeitschrift für angewandte Mathematik und Mechanik. 1991, Vol 71, Num 4, pp T91-T94, issn 0044-2267Article
Comparing symbolic and explicit model checking of a software systemEISNER, Cindy; PELED, Doron.Lecture notes in computer science. 2002, pp 230-239, issn 0302-9743, isbn 3-540-43477-1Conference Paper
Systèmes de calcul formel = Symbolic computation systemsPINCHON, Didier.Techniques de l'ingénieur. Informatique. 1996, Vol HB4, Num H3308, pp H3308.1-H3308.10, issn 0245-9612Article
Mnemonics: type-safe bytecode generation at run timeRUDOLPH, Johannes; THIEMANN, Peter.Higher-order and symbolic computation (Print). 2010, Vol 23, Num 3, pp 371-407, issn 1388-3690, 37 p.Article